A Theory of Symbolic Dynamics for Hybrid Systems
نویسندگان
چکیده
In this paper, we introduce a new semantics for hybrid systems called symbolic dynamics. The semantics is constructed in the tradition of denotational semantics of programming languages, which defines the meaning of a construct by a function. The novelty of this approach is that these semantic functions are defined on complex state spaces carrying algebraic and analytic structures. As in the denotational semantics, we also define operations with symbolic dynamics corresponding to the primitives of the hybrid behaviours like stopping and switching. This semantics can describe both deterministic and stochastic systems. The paper is self-contained and it does not require any apriori background in computer science.
منابع مشابه
Approximately bisimilar symbolic models for randomly switched stochastic systems
In the past few years there has been a growing interest in the use of symbolic models for control systems. The main reason is the possibility to leverage algorithmic techniques over symbolic models to synthesize controllers that are valid for the concrete control systems. Such controllers can enforce complex logical specifications that are otherwise hard (if not impossible) to establish on the ...
متن کاملReliability analysis of repairable systems using system dynamics modeling and simulation
Repairable standby system’s study and analysis is an important topic in reliability. Analytical techniques become very complicated and unrealistic especially for modern complex systems. There have been attempts in the literature to evolve more realistic techniques using simulation approach for reliability analysis of systems. This paper proposes a hybrid approach called as Markov system ...
متن کاملNormal forms of Hopf Singularities: Focus Values Along with some Applications in Physics
This paper aims to introduce the original ideas of normal form theory and bifurcation analysis and control of small amplitude limit cycles in a non-technical terms so that it would be comprehensible to wide ranges of Persian speaking engineers and physicists. The history of normal form goes back to more than one hundreds ago, that is to the original ideas coming from Henry Poincare. This tool p...
متن کاملSymbolic Model Checking for Rectangular Hybrid Systems
An important case of hybrid systems are the rectangular automata. First, rectangular dynamics can naturally and arbitrarily closely approximate more general, nonlinear dynamics. Second, rectangular automata are the most general type of hybrid systems for which model checking |in particular, Ltl model checking| is decidable. However, on one hand, the original proofs of decidability did not sugge...
متن کاملA New Approach to Detect Congestive Heart Failure Using Symbolic Dynamics Analysis of Electrocardiogram Signal
The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...
متن کامل